Merge pull request #9410 from Wedmer/master
authorRosen Penev <[email protected]>
Sat, 6 Jul 2019 17:57:08 +0000 (10:57 -0700)
committerGitHub <[email protected]>
Sat, 6 Jul 2019 17:57:08 +0000 (10:57 -0700)
zoneinfo: Updated to the latest release.


Trivial merge